The session history implementation in Gecko doesn’t closely follow the current HTML spec algorithms. There might need to be some tweaking and changes to the core session history implementation. Especially the fact that we run Session History in the parent processes makes it necessary to try to find out how this lines up with the Navigation API's view of things.